PHOG: Probabilistic Model for Code Pavol Bielik Veselin Raychev Martin Vechev Department of Computer Science, ETH Z¨urich, Switzerland

Source URL: www.srl.inf.ethz.ch

• Formal languages
• Stochastic context-free grammar
• Context-sensitive grammar
• Context-free grammar
• Bayesian network
• Parsing
• Language model
• Parse tree
• Formal grammar

Probabilistic Models for Learning a Semantic Parser Lexicon Jayant Krishnamurthy Allen Institute for Artificial Intelligence 2157 N. Northlake Way, Suite 110 Seattle, WA 98103

Source URL: ai2-website.s3.amazonaws.com

• Academia
• Linguistics
• Cognition
• Formal languages
• Compiler construction
• Cognitive science
• Grammar
• Parsing
• Natural language processing
• Context-free grammar
• Computational linguistics
• Semantics

CS 340, Fall 2014 — Dec 11th /13th — Final Exam Name: Note: in all questions, the special symbol  (epsilon) is used to indicate the empty string. Questionpoints] Consider the following regular expression;

Source URL: ycpcs.github.io

• Formal languages
• Compiler construction
• Pattern matching
• Syntax
• Parsing
• Context-free grammar
• Formal grammar
• Terminal and nonterminal symbols
• Lexical analysis
• Recursive descent parser
• Sequence
• Regular expression

LACL 2012 Logical Aspects of Computational Linguistics System Demonstrations

Source URL: lacl.gforge.inria.fr

• Linguistics
• Grammar
• Formal languages
• Cognitive science
• Syntax
• Tree-adjoining grammar
• Categorial grammar

The Lane Table Method Of Constructing LR(1) Parsers David Pager Xin Chen Department of Information and Computer Science

Source URL: cssauh.com

• Parser generators
• Formal languages
• LALR parser
• LR parser
• Parsing
• Yacc
• Compiler-compiler
• PLY
• Formal grammar
• LALR parser generator
• Simple LR parser

Design and Implementation of the LogicBlox System Molham Aref Balder ten Cate Todd J. Green Emir Pasalic Todd L. Veldhuizen

Source URL: developer.logicblox.com

• Computing
• Software engineering
• Software
• Grammar
• SQL keywords
• Formal methods
• Datalog
• Prolog
• Predicate
• Relational model
• Join
• Extensible Storage Engine

Language CoLLAGE: Grammatical Description with the LinGO Grammar Matrix Emily M. Bender University of Washington Department of Linguistics Box

Source URL: www.lrec-conf.org

• Grammar
• Linguistics
• Cognitive science
• Language
• Generative linguistics
• Syntax
• Formal languages
• Natural language processing
• DELPH-IN
• Head-driven phrase structure grammar
• Predicate
• Parsing

Translation of English into Logical Expressions V.R. Pratt A thesis submitted for the degree of

Source URL: boole.stanford.edu

• Syntax
• Formal languages
• Cognitive science
• Grammar
• Linguistics
• Language
• Noam Chomsky
• Context-free grammar
• Transformational grammar
• Formal grammar
• Phrase structure grammar
• Syntactic Structures

Staged Self-Assembly and Polyomino Context-Free Grammars A dissertation submitted by Andrew Winslow in partial fulfillment of the requirements for the degree of

Source URL: www.eecs.tufts.edu

• Formal languages
• Polyforms
• Mathematical games
• Mathematics
• Polyomino
• Language
• Culture
• Stochastic context-free grammar
• Context-free grammar
• CFGS
• CFG
• Context-free language

Experience-Based HPSG Emily M. Bender and Susanne Z. Riehemann {bender,sr}@csli.stanford.edu Berkeley Formal Grammar Conference HPSG 2000 July 22nd, 2000

Source URL: doors.stanford.edu